Services and visualization : towards user-friendly design (Selected papers)Margaria, Tiziana; Steffen, Bernhard; Rückert, Roland et al.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64367-2, XII, 322 p, isbn 3-540-64367-2Conference Proceedings

The Web impact : A white paperLARDENOIS, A.Lecture notes in computer science. 1998, pp 1-7, issn 0302-9743, isbn 3-540-64367-2Conference Paper

'Calls considered Harmful' and other observations : A tutorial on telephonyZAVE, P.Lecture notes in computer science. 1998, pp 8-27, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Testing IN protocol implementationFLORSCHÜTZ, P.Lecture notes in computer science. 1998, pp 117-127, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Using a visual formalism for design verification in industrial environmentsSCHLÖR, R; JOSKO, B; WERTH, D et al.Lecture notes in computer science. 1998, pp 208-221, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Application of INAP to AIN intelligent peripheralHEE JIN LIM; GO BONG CHOI.Lecture notes in computer science. 1998, pp 278-290, issn 0302-9743, isbn 3-540-64367-2Conference Paper

The generation of Service database schema through Service Creation EnvironmentJEOMJA KANG; JEONGHUN CHOI; SEHYEONG CHO et al.Lecture notes in computer science. 1998, pp 238-249, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Formal methods and customized visualization : A fruitful symbiosisMARGARIA, T; BRAUN, V.Lecture notes in computer science. 1998, pp 190-207, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Requirements and a proposal for the prevention of a class of Service interactions in Intelligent NetworksKECK, D. O.Lecture notes in computer science. 1998, pp 90-105, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Agent-based data services in future IN-platformsALBAYRAK, S; MEINKÖHN, J.Lecture notes in computer science. 1998, pp 128-141, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Design and evaluation of a visual formalism for real time logicsLUSINI, M; VICARIO, E.Lecture notes in computer science. 1998, pp 158-173, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Visualisation of executable formal specifications for user validationÖZCAN, M. B; PARRY, P. W; MORREY, I. C et al.Lecture notes in computer science. 1998, pp 142-157, issn 0302-9743, isbn 3-540-64367-2Conference Paper

The NetAcademy : A new concept for online publishing and knowledge managementHANDSCHUH, S; LECHNER, U; LINCKE, D.-M et al.Lecture notes in computer science. 1998, pp 29-43, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Value-added services in industrial automationHERGENHAN, A; WEILER, C; WEISS, K et al.Lecture notes in computer science. 1998, pp 75-89, issn 0302-9743, isbn 3-540-64367-2Conference Paper

A Mobile Broadband Service Switching point : A new network element for multimedia and Mobile servicesBLAIOTTA, D; FAGLIA, L; VARISCO, M et al.Lecture notes in computer science. 1998, pp 306-322, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Automatic error location for IN Service DefinitionBRAUN, V; MARGARIA, T; STEFEN, B et al.Lecture notes in computer science. 1998, pp 222-237, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Open Switching for ATM networksDUQUE-ANTON, M; GÜNTHER, R; KARABEK, R et al.Lecture notes in computer science. 1998, pp 265-277, issn 0302-9743, isbn 3-540-64367-2Conference Paper